On the Specification of Linking Interfaces in Distributed Real-Time Systems
نویسنده
چکیده
This paper is concerned with building large distributed real-time systems out of computational components that interact by the exchange of messages across linking interfaces (LIFs). The notions of an operational and a meta-level specification of a LIF of a component are introduced. The operational specification is concerned with the data structures and the timing of the messages that are exchanged among the components. Because of the difficulties in specifying the temporal properties of a LIF when using the client-server model, the temporal firewall model is proposed as an alternative interface in distributed real-time systems for the exchange of time-sensitive information. The meta-level specification assigns meanings to the syntactic elements formed at the operational level. The interdependencies between the state of a LIF, the state of a component, and the model of time are discussed. If a component is an open component, i.e., it interacts with the natural environment, then there are fundamental limits to the formal specification of the meta-level.
منابع مشابه
Compositional Design of RT Systems: A Conceptual Basis for Specification of Linking Interfaces
Composition of a system is driven by the (a) identification and specification of basic components, and (b) specification of the interactions across the components, i.e., the communication linkages, that are needed to communicate value and temporal information across the components from which the aggregate system results. This paper addresses compositional design of distributed Real-Time (RT) sy...
متن کاملA harmony search-based approach for real-time volt & var control in distribution network by considering distributed generations units
In recent decade, development of telecommunications infrastructure has led to rapid exchange of data between the distribution network components and the control center in many developed countries. These changes, considering the numerous benefits of the Distributed Generators (DGs), have made more motivations for distribution companies to utilize these kinds of generators more than ever before. ...
متن کاملA Framework for Integrating the Real-Time Specification for Java and Java's Remote Method Invocation
This paper proposes a framework for integrating the Real-Time Specification for Java and Java's Remote Method Invocation. The concepts of realtime remote and distributed real-time remote interfaces are introduced in order to facilitate the design and implementation of realtime and distributed real-time threads that call remote objects.
متن کاملAn Adaptive Model for Programming Distributed Real-Time Applications in CORBA
CORBA is a middleware with open standardization that is receiving plenty of acceptance for facilitating the distributed objects programming. CORBA is being extended through the specification of interfaces and necessary abstractions for supporting applications with real-time constraints. The use of CORBA in the contemporary real-time systems is adequate to meet the new requirements of flexibilit...
متن کاملRecent Developments in Discrete Event Systems
This article is a brief exposure of the process approach to a newly emerging area called "discrete event systems" in control theory and summarizes some of the recent developments in this area. Discrete event systems is an area of research that is developing within the interstices of computer, control and communication sciences. The basic direction of research addresses issues in the analysis an...
متن کامل